Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·3h·
Discuss: Hacker News
💻Programming languages
Deterministic Chaos: Guiding Robots with Predictable Flow Fields
dev.to·9h·
Discuss: DEV
🔲Cellular Automata
A Kevin week
blog.mitrichev.ch·1h·
Discuss: blog.mitrichev.ch
📐Linear Algebra
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·7h·
Discuss: Hacker News
🔲Cellular Automata
ISO C++ committee has a new chief sheep herder
shape-of-code.com·46m
📜Proof Carrying Code
The Capability-Tractability Tradeoff (2023)
buttondown.com·2d·
Discuss: Hacker News
💧Liquid Types
Klartag improves the sphere-packing constant
quomodocumque.wordpress.com·4h
⚽Sphere Packing
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·1d·
Discuss: Hacker News
🔤Type Theory
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·4d
🔤Type Theory
Haskell Interlude: 70: Phil Wadler
haskell.foundation·16h
🧬Functional Programming
A Shadow of Triality?
golem.ph.utexas.edu·1d
🔲Proof Irrelevance
Does Space-Time Really Exist?
scitechdaily.com·7h
⏰Time Crystals
Blog Roundup (September 14, 2025)
virtualmoose.org·8h
🕹️Retro Gaming
Helping Define This Thing We Feel Lacking in LLM Responses
daniel.industries·8h
📼Cassette Linguistics
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·1d
💎Information Crystallography
No Peeking Ahead: Time-Aware Graph Fraud Detection
towardsdatascience.com·8h
🌳Archive Merkle Trees
Quantum Information Supremacy
scottaaronson.blog·2d
⚛️Quantum Tape
A New Type of Computing
news.ycombinator.com·2d·
Discuss: Hacker News
⚛️Information Physics
Joy & Curiosity #54
registerspill.thorstenball.com·18h
⚙️Proof Engineering
Day 7 of My Quantum Computing Journey: Completing Week 1 & First Steps into Quantum Programming
dev.to·11h·
Discuss: DEV
🔐Quantum Cryptography